Writing software that works is one thing. Being able to understand and prove why and how it works is another. The programme treats the whole process of building reliable software as a fundamental concept throughout. This includes dedicated work in logic and formal methods, where you learn to test, verify and prove that your code works as intended. behaves as it should. In the age of AI-assisted coding, genuine knowledge of how and why code works is a more vital skill than ever. You will begin by focusing on core fields including algorithms and logic, creating a shared foundation for collaboration among your classmates from mathematics, engineering, computer science and related backgrounds. Later, you can branch into specialisations and elective courses in everything from quantum computing to neuro-symbolic AI. There is also a core focus on the role of the computer scientist in society, placing ethical and social principles in the centre from day one. |
These courses are intended as guidelines. Speak to your guidance counsellor to see what courses are offered at your school.
To fulfil the general entry requirement for a master's programme at Chalmers (at advanced level/the second cycle), the prospective student must hold a degree that is equivalent to a Swedish Bachelor's degree (minimum 3 years, 180 Swedish higher education credits) in either Science, Engineering or Technology
Prerequisites: Mathematics (at least 18 cr. including Calculus (at least 6 cr.) and Linear Algebra (at least 6 cr.)), Computer Science and/or Computer Engineering at least 18 cr. including Programming in a General-Purpose Language e.g. C/C++/Java/Haskell, or similar (at least 6 cr.), Algorithms and/or Data Structures (at least 6 cr.), Discrete Mathematics or Finite Automata Theory or Formal Languages, or the equivalent.
Restriction: Discrete Mathematics cannot fulfil both the mathematics credit requirement as well as the last course requirement (overlap is not permitted).
Preferable course experience: Mathematical Modelling and Problem Solving, Functional Programming |
| Additional Admission Requirements: | - Letter(s) of Reference
- Resume/Curriculum Vitae
- Statement of Research Interests
- Work Experience
|
* We make every attempt to provide accurate information on prerequisites, programs, and tuition. However, this information is subject to change without notice and we highly recommend that you contact the school to confirm important information before applying.